Formal epistemology - PDFSEARCH.IO - Document Search Engine

Formal epistemology
Results: 132

#	Item
21	Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch Add to Reading List Source URL: folk.uib.no Language: English - Date: 2008-02-06 12:58:25 Formal epistemology Modal logic Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Symbol Epistemic modal logic Common knowledge Tiny Encryption Algorithm Kripke semantics Interpretation
22	Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-12-17 21:21:52 Philosophy Modal logic Logic Epistemology Artificial intelligence Formal epistemology Modality Epistemic modal logic Dynamic epistemic logic Epistemic closure Causality Distribution
23	A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge Thomas ˚ Agotnes Michal Walicki Add to Reading List Source URL: folk.uib.no Language: English - Date: 2006-10-10 15:15:32 Logic Mathematical logic Philosophy Formal epistemology Modal logic Artificial intelligence Belief Epistemic modal logic Non-classical logic Logic programming Epistemic closure FO
24	Modular Interpreted Systems Wojciech Jamroga Thomas Ågotnes Department of Informatics Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-06-04 16:55:34 Mathematics Measurement Academia Artificial intelligence Formal epistemology Modal logic Algebraic geometry Q0 Symbol Epistemic modal logic Centimetregramsecond system of units Valuation
25	Formal Epistemology and the New Paradigm Psychology of Reasoning Niki Pfeifer Munich Center for Mathematical Philosophy, LMU Munich Igor Douven Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2014-05-17 04:40:56
26	Can Evidence for Design be Explained Away? Formal Methods in Epistemology of Religion Leuven, 10-12 June, 2009 David Glass Add to Reading List Source URL: scm.ulster.ac.uk Language: English - Date: 2013-06-04 12:29:02
27	A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-05-27 06:08:40 Mathematics Philosophy of mathematics Logic Philosophy Mathematical logic Epistemology Formal sciences Constructivism Foundations of mathematics Intuitionism Finitary Formalism
28	arXiv:1506.08030v1 [cs.AI] 26 JunDynamic Bayesian Ontology Languages ˙ ˙ Ismail Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-06-28 20:19:38 Logic Statistics Abstraction Statistical inference Statistical theory Reasoning Probability theory Formal epistemology Probabilistic logic Bayesian network Bayesian inference Probability
29	Formal Epistemology Workshop Carnegie-Mellon University June 2, 2007 REMARKS ON J. ZHANG’S PAPER, “Exchangeability and Invariance: A Causal Theory” Carl Wagner Add to Reading List Source URL: www.fitelson.org Language: English - Date: 2008-05-21 01:04:49
30	Formal Epistemology Workshop 2010 Two Ways of Measuring Degrees of Incoherence Julia Staffel University of Southern California Standard subjective Bayesianism only allows us to distinguish between agents Add to Reading List Source URL: fitelson.org Language: English - Date: 2011-01-01 18:48:42